[next] [prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 27 44 24 0 27

N.S.

1 1.00 1.07 0.93 1.00 1.63 0.89 0.00 1.00

time (sec)

N/A 0.296 1.094 0.669 0.264 0.247 178.266 0.000 2.708

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 27 27 24 0 27

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.89 0.00 1.00

time (sec)

N/A 0.291 0.623 0.620 0.257 0.256 14.486 0.000 2.810

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 27 27 24 0 27

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.89 0.00 1.00

time (sec)

N/A 0.279 0.164 0.507 0.257 0.258 0.735 0.000 2.911

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 27 44 24 27 27

N.S.

1 1.00 1.07 0.93 1.00 1.63 0.89 1.00 1.00

time (sec)

N/A 0.283 0.554 0.125 0.278 0.251 0.862 0.280 2.793

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 27 62 24 27 27

N.S.

1 1.00 1.07 0.93 1.00 2.30 0.89 1.00 1.00

time (sec)

N/A 0.295 0.768 0.293 0.271 0.259 2.943 0.297 2.763

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 79 82 106 0 0 0 0 0

N.S.

1 0.84 0.87 1.13 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.486 0.316 0.237 0.000 0.000 0.000 0.000 0.000

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 68 69 84 0 0 0 0 0

N.S.

1 0.88 0.90 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.473 0.245 0.338 0.000 0.000 0.000 0.000 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 53 54 60 0 0 0 0 0

N.S.

1 0.98 1.00 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.413 0.369 0.049 0.000 0.000 0.000 0.000 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 226 21 24 21 21

N.S.

1 1.00 1.11 1.00 11.89 1.11 1.26 1.11 1.11

time (sec)

N/A 0.349 1.660 0.265 0.346 0.251 0.647 0.272 2.835

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 325 36 41 21 21

N.S.

1 1.00 1.11 1.00 17.11 1.89 2.16 1.11 1.11

time (sec)

N/A 0.345 4.023 0.079 0.381 0.252 1.463 0.282 2.910

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 291 175 633 0 0 0 0 0

N.S.

1 1.37 0.82 2.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.915 0.518 0.405 0.000 0.000 0.000 0.000 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 201 82 144 0 0 0 0 0

N.S.

1 2.16 0.88 1.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.117 0.309 0.378 0.000 0.000 0.000 0.000 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 183 126 364 0 0 0 0 0

N.S.

1 1.23 0.85 2.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.109 0.328 0.294 0.000 0.000 0.000 0.000 0.000

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 89 73 138 0 0 0 0 0

N.S.

1 1.05 0.86 1.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.650 0.176 0.319 0.000 0.000 0.000 0.000 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 392 42 24 0 27

N.S.

1 1.00 1.07 0.93 14.52 1.56 0.89 0.00 1.00

time (sec)

N/A 0.850 10.986 0.268 0.471 0.263 1.083 0.000 2.815

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 378 48 26 27 27

N.S.

1 1.00 1.07 0.93 14.00 1.78 0.96 1.00 1.00

time (sec)

N/A 0.367 2.422 0.147 0.436 0.258 1.014 0.295 2.778

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 403 48 26 0 27

N.S.

1 1.00 1.07 0.93 14.93 1.78 0.96 0.00 1.00

time (sec)

N/A 0.278 16.417 0.209 0.515 0.299 1.176 0.000 2.797

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 406 48 26 27 27

N.S.

1 1.00 1.07 0.93 15.04 1.78 0.96 1.00 1.00

time (sec)

N/A 0.277 4.538 0.207 0.520 0.455 1.433 0.287 2.899

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 393 399 958 0 0 0 0 0

N.S.

1 1.42 1.44 3.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.105 0.673 0.308 0.000 0.000 0.000 0.000 0.000

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 251 306 369 0 0 0 0 0

N.S.

1 1.15 1.40 1.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.954 0.621 0.680 0.000 0.000 0.000 0.000 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 290 295 633 0 0 0 0 0

N.S.

1 1.36 1.38 2.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.301 0.555 0.269 0.000 0.000 0.000 0.000 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 139 122 255 0 0 0 0 0

N.S.

1 0.93 0.82 1.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.588 0.414 0.487 0.000 0.000 0.000 0.000 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 433 42 24 0 27

N.S.

1 1.00 1.07 0.93 16.04 1.56 0.89 0.00 1.00

time (sec)

N/A 1.004 7.858 0.115 0.583 0.270 3.027 0.000 2.721

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 443 48 26 27 27

N.S.

1 1.00 1.07 0.93 16.41 1.78 0.96 1.00 1.00

time (sec)

N/A 0.514 3.679 0.282 0.578 0.294 3.061 0.314 2.738

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 441 48 26 0 27

N.S.

1 1.00 1.07 0.93 16.33 1.78 0.96 0.00 1.00

time (sec)

N/A 0.303 12.482 0.350 0.565 0.246 3.945 0.000 2.743

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 428 48 26 27 27

N.S.

1 1.00 1.07 0.93 15.85 1.78 0.96 1.00 1.00

time (sec)

N/A 0.439 3.560 0.204 0.524 0.250 5.335 0.317 2.904

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 493 408 1070 0 0 0 0 0

N.S.

1 1.78 1.47 3.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.352 1.108 0.344 0.000 0.000 0.000 0.000 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 401 413 484 0 0 0 0 0

N.S.

1 1.43 1.47 1.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.228 1.024 0.655 0.000 0.000 0.000 0.000 0.000

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 390 404 958 0 0 0 0 0

N.S.

1 1.42 1.47 3.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.625 0.874 0.284 0.000 0.000 0.000 0.000 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 189 311 374 0 0 0 0 0

N.S.

1 0.88 1.44 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.659 0.601 0.560 0.000 0.000 0.000 0.000 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 480 59 24 0 27

N.S.

1 1.00 1.07 0.93 17.78 2.19 0.89 0.00 1.00

time (sec)

N/A 1.219 9.485 0.128 0.620 0.257 7.711 0.000 2.681

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 491 65 26 27 27

N.S.

1 1.00 1.07 0.93 18.19 2.41 0.96 1.00 1.00

time (sec)

N/A 0.569 3.275 0.125 0.686 0.253 8.279 0.331 2.903

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 492 65 26 0 27

N.S.

1 1.00 1.07 0.93 18.22 2.41 0.96 0.00 1.00

time (sec)

N/A 0.301 12.584 0.141 0.691 0.247 7.788 0.000 2.737

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 491 65 26 27 27

N.S.

1 1.00 1.07 0.93 18.19 2.41 0.96 1.00 1.00

time (sec)

N/A 0.302 3.826 0.523 0.666 0.257 11.445 0.372 2.722

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 177 158 633 0 0 0 0 0

N.S.

1 0.87 0.77 3.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.680 0.311 0.266 0.000 0.000 0.000 0.000 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 131 117 243 0 0 0 0 0

N.S.

1 0.93 0.83 1.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 0.240 0.326 0.000 0.000 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 127 113 364 0 0 0 0 0

N.S.

1 0.89 0.80 2.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.609 0.225 0.259 0.000 0.000 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 83 70 135 0 0 0 0 0

N.S.

1 1.05 0.89 1.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.716 0.167 0.283 0.000 0.000 0.000 0.000 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 69 60 151 0 0 0 0 0

N.S.

1 0.95 0.82 2.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.557 0.151 0.284 0.000 0.000 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 18 30 36 0 18

N.S.

1 1.00 1.00 1.06 1.00 1.67 2.00 0.00 1.00

time (sec)

N/A 0.212 0.014 0.254 0.197 0.258 2.024 0.000 2.653

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 416 75 26 0 27

N.S.

1 1.00 1.07 0.93 15.41 2.78 0.96 0.00 1.00

time (sec)

N/A 0.371 6.476 0.147 0.485 0.255 1.696 0.000 2.808

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 427 81 27 27 27

N.S.

1 1.00 1.07 0.93 15.81 3.00 1.00 1.00 1.00

time (sec)

N/A 0.371 2.017 0.080 0.486 0.245 1.479 0.284 2.721

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 475 105 26 0 27

N.S.

1 1.00 1.07 0.93 17.59 3.89 0.96 0.00 1.00

time (sec)

N/A 0.299 53.718 0.302 0.564 0.252 1.831 0.000 2.607

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 447 105 26 27 27

N.S.

1 1.00 1.07 0.93 16.56 3.89 0.96 1.00 1.00

time (sec)

N/A 0.442 3.146 0.123 0.464 0.252 1.798 0.314 2.600

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 461 103 24 0 25

N.S.

1 1.00 1.08 0.92 18.44 4.12 0.96 0.00 1.00

time (sec)

N/A 0.262 54.144 0.145 0.482 0.255 1.836 0.000 2.638

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 446 102 24 24 24

N.S.

1 1.00 1.08 0.92 18.58 4.25 1.00 1.00 1.00

time (sec)

N/A 0.364 2.189 0.063 0.452 0.268 2.045 0.297 2.537

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 477 107 26 0 27

N.S.

1 1.00 1.07 0.93 17.67 3.96 0.96 0.00 1.00

time (sec)

N/A 0.291 35.978 0.203 0.556 0.248 4.461 0.000 2.560

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 485 113 27 27 27

N.S.

1 1.00 1.07 0.93 17.96 4.19 1.00 1.00 1.00

time (sec)

N/A 0.304 15.906 0.186 0.543 0.259 2.952 0.297 2.587

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 0 25 584 137 26 0 27

N.S.

1 1.00 0.00 0.93 21.63 5.07 0.96 0.00 1.00

time (sec)

N/A 0.297 0.000 0.194 0.646 0.264 3.910 0.000 2.702

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 585 137 26 27 27

N.S.

1 1.00 1.07 0.93 21.67 5.07 0.96 1.00 1.00

time (sec)

N/A 0.294 10.246 0.198 0.562 0.248 3.739 0.340 2.625

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 0 23 568 135 24 0 25

N.S.

1 1.00 0.00 0.92 22.72 5.40 0.96 0.00 1.00

time (sec)

N/A 0.260 0.000 0.179 0.629 0.264 3.643 0.000 2.529

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 554 134 24 24 24

N.S.

1 1.00 1.08 0.92 23.08 5.58 1.00 1.00 1.00

time (sec)

N/A 0.372 4.409 0.178 0.497 0.253 3.826 0.289 2.582

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 0 25 584 139 26 0 27

N.S.

1 1.00 0.00 0.93 21.63 5.15 0.96 0.00 1.00

time (sec)

N/A 0.299 0.000 0.328 0.617 0.260 8.170 0.000 2.677

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 592 145 27 27 27

N.S.

1 1.00 1.07 0.93 21.93 5.37 1.00 1.00 1.00

time (sec)

N/A 0.296 11.459 0.427 0.623 0.256 6.013 0.314 2.635

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 537 58 0 0 27

N.S.

1 1.00 1.07 0.93 19.89 2.15 0.00 0.00 1.00

time (sec)

N/A 0.295 1.239 0.682 1.276 0.258 0.000 0.000 2.736

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 480 41 26 0 27

N.S.

1 1.00 1.07 0.93 17.78 1.52 0.96 0.00 1.00

time (sec)

N/A 0.297 0.752 0.562 1.092 0.247 34.669 0.000 2.824

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 424 41 26 0 27

N.S.

1 1.00 1.07 0.93 15.70 1.52 0.96 0.00 1.00

time (sec)

N/A 0.279 0.196 0.547 0.850 0.252 1.574 0.000 2.661

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 441 73 26 27 27

N.S.

1 1.00 1.07 0.93 16.33 2.70 0.96 1.00 1.00

time (sec)

N/A 0.387 0.593 0.145 0.525 0.253 2.842 0.322 2.659

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 506 105 26 27 27

N.S.

1 1.00 1.07 0.93 18.74 3.89 0.96 1.00 1.00

time (sec)

N/A 0.295 0.844 0.340 0.740 0.262 11.888 0.321 2.707

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 613 137 26 27 27

N.S.

1 1.00 1.07 0.93 22.70 5.07 0.96 1.00 1.00

time (sec)

N/A 0.302 1.115 0.361 0.834 0.256 82.637 0.340 2.767

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 23 12 0 11

N.S.

1 1.00 1.00 0.92 0.85 1.77 0.92 0.00 0.85

time (sec)

N/A 0.202 0.011 0.251 0.192 0.242 0.430 0.000 2.681

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

254 458 232 0 0 0 0 0 0

N.S.

1 1.80 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.452 0.768 0.000 0.000 0.000 0.000 0.000 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

335 520 436 0 0 0 0 0 0

N.S.

1 1.55 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.524 0.684 0.000 0.000 0.000 0.000 0.000 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

236 268 227 0 0 0 0 0 0

N.S.

1 1.14 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.709 0.402 0.000 0.000 0.000 0.000 0.000 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

228 226 295 0 0 0 0 0 0

N.S.

1 0.99 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.746 0.643 0.000 0.000 0.000 0.000 0.000 0.000

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 0 83 0 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 3.19 0.00 1.00

time (sec)

N/A 1.624 1.346 0.131 0.719 0.000 4.457 0.000 2.849

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

474 566 462 0 0 0 0 0 0

N.S.

1 1.19 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.618 0.889 0.000 0.000 0.000 0.000 0.000 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

457 718 577 0 0 0 0 0 0

N.S.

1 1.57 1.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.894 1.586 0.000 0.000 0.000 0.000 0.000 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

358 562 351 0 0 0 0 0 0

N.S.

1 1.57 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.308 0.571 0.000 0.000 0.000 0.000 0.000 0.000

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

346 326 440 0 0 0 0 0 0

N.S.

1 0.94 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.918 1.593 0.000 0.000 0.000 0.000 0.000 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 0 131 0 28

N.S.

1 1.00 1.07 0.93 1.00 0.00 4.68 0.00 1.00

time (sec)

N/A 2.256 1.089 0.158 0.745 0.000 5.971 0.000 2.835

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

319 332 142 0 0 0 0 0 0

N.S.

1 1.04 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.018 0.183 0.000 0.000 0.000 0.000 0.000 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

186 167 104 0 0 0 0 0 0

N.S.

1 0.90 0.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.012 0.108 0.000 0.000 0.000 0.000 0.000 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 43 36 0 0 0 0 0

N.S.

1 1.00 1.02 0.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.061 0.263 0.000 0.000 0.000 0.000 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 22 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.96 0.91 0.91

time (sec)

N/A 0.361 1.729 0.283 0.385 0.000 1.428 0.456 2.617

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 22 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.96 0.91 0.91

time (sec)

N/A 0.627 2.160 0.341 0.396 0.000 23.511 0.476 2.798

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

449 401 186 0 0 0 0 0 0

N.S.

1 0.89 0.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.321 0.361 0.000 0.000 0.000 0.000 0.000 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

271 192 126 0 0 0 0 0 0

N.S.

1 0.71 0.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.920 0.297 0.000 0.000 0.000 0.000 0.000 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 43 36 0 0 0 0 0

N.S.

1 1.00 1.02 0.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.217 0.057 0.252 0.000 0.000 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 22 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.96 0.91 0.91

time (sec)

N/A 0.350 1.910 0.270 0.395 0.000 9.759 0.649 2.792

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

514 0 201 0 0 0 0 0 0

N.S.

1 0.00 0.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.373 0.000 0.000 0.000 0.000 0.000 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

298 238 135 0 0 0 0 0 0

N.S.

1 0.80 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.601 0.319 0.000 0.000 0.000 0.000 0.000 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 43 36 0 0 0 0 0

N.S.

1 1.00 1.02 0.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.057 0.261 0.000 0.000 0.000 0.000 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.351 1.882 0.253 0.399 0.000 0.000 0.656 2.623

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

309 332 156 0 0 0 0 0 0

N.S.

1 1.07 0.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.946 0.145 0.000 0.000 0.000 0.000 0.000 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

176 162 110 0 0 0 0 0 0

N.S.

1 0.92 0.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.025 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 34 0 20 0 0 0

N.S.

1 1.00 1.00 0.87 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.208 0.022 0.266 0.000 0.241 0.000 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 18 20 0 19 20 20

N.S.

1 1.00 1.09 0.82 0.91 0.00 0.86 0.91 0.91

time (sec)

N/A 0.339 1.312 0.293 0.392 0.000 1.392 0.562 2.888

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 18 20 0 19 20 20

N.S.

1 1.00 1.09 0.82 0.91 0.00 0.86 0.91 0.91

time (sec)

N/A 0.588 1.365 0.348 0.384 0.000 23.343 0.560 2.761

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

433 410 210 0 0 0 0 0 0

N.S.

1 0.95 0.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.407 0.300 0.000 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 195 133 0 0 0 0 0 0

N.S.

1 0.75 0.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.981 0.252 0.000 0.000 0.000 0.000 0.000 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 34 0 20 0 0 0

N.S.

1 1.00 1.00 0.87 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.204 0.032 0.256 0.000 0.249 0.000 0.000 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 18 20 0 19 20 20

N.S.

1 1.00 1.09 0.82 0.91 0.00 0.86 0.91 0.91

time (sec)

N/A 0.337 1.344 0.263 0.386 0.000 9.844 0.854 2.661

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

33 41 34 0 0 0 0 0 0

N.S.

1 1.24 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.352 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

396 199 197 0 0 0 0 0 0

N.S.

1 0.50 0.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.510 0.278 0.000 0.000 0.000 0.000 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

264 141 141 0 0 0 0 0 0

N.S.

1 0.53 0.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.438 0.173 0.000 0.000 0.000 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 96 101 0 0 0 0 0 0

N.S.

1 0.62 0.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 0.108 0.000 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 41 36 0 0 0 0 0

N.S.

1 1.00 1.02 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.055 0.255 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 24 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 1.04 0.91 0.91

time (sec)

N/A 0.215 1.832 0.265 0.410 0.000 3.699 0.498 2.743

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 24 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 1.04 0.91 0.91

time (sec)

N/A 0.213 2.068 0.342 0.393 0.000 58.041 0.495 2.722

[next] [prev] [prev-tail] [front] [up]